PERTURBATIVE HAMILTONIAN CONSTRAINTS FOR HIGHER-ORDER THEORIES
نویسندگان
چکیده
منابع مشابه
The Lagrangian-Hamiltonian Formalism for Higher Order Field Theories
We generalize the lagrangian-hamiltonian formalism of Skinner and Rusk to higher order field theories on fiber bundles. As a byproduct we solve the long standing problem of defining, in a coordinate free manner, a hamiltonian formalism for higher order lagrangian field theories, which does only depend on the action functional and, therefore, unlike previously proposed formalisms, is free from a...
متن کاملLagrangian and Hamiltonian formulations of higher order Chern-Simons theories
We consider models involving the higher (third) derivative extension of the abelian Chern-Simons (CS) topological term in D=2+1 dimensions. The polarisation vectors in these models reveal an identical structure with the corresponding expressions for usual models which contain, at most, quadratic structures. We also investigate the Hamiltonian structure of these models and show how Wigner’s litt...
متن کاملParticle Hamiltonian and Perturbative Gauge Theories
We discuss the Hamiltonian formulation of the Schwinger proper-time method of calculating Green functions in gauge theories. Instead of calculating Feynman diagrams, we solve the corresponding Dyson-Schwinger equations. We express the solutions in terms of vertex operators, which consist of the zero modes of the vertex operators appearing in string theories. We show how color decomposition aris...
متن کاملHigher-order theories
We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion of signature. Then we obtain a modularity result as requested by [GU03]: in our setting, merging two extensions of syntax corresponds to building an amalgamated sum. Finally we define a natural notion of equation con...
متن کاملComposable Packages for Higher Order Logic Theories
Interactive theorem proving is tackling ever larger formalization and verification projects, and there is a critical need for theory engineering techniques to support these efforts. One such technique is effective package management, which has the potential to simplify the development of logical theories by precisely checking dependencies and promoting re-use. This paper introduces a domainspec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Modern Physics A
سال: 2011
ISSN: 0217-751X,1793-656X
DOI: 10.1142/s0217751x11054681